| Model: | herman v.1 (DTMC) |
| Parameter(s) | N = 15 |
| Property: | steps (exp-reward) |
java -Xms10240m -Xmx10240m -jar ./root/epmc-standard.jar check --model-input-files herman.15.prism --model-input-type prism --property-input-files herman.props --property-input-names steps --translate-messages false --value-floating-point-output-native true --graphsolver-iterative-stop-criterion relative --graphsolver-iterative-tolerance 1e-6
| Walltime: | 222.50343203544617s |
| Return code: | 1 |
assertions-disabled start-parsing
Unexpected error occurred during parsing: java.lang.OutOfMemoryError: Java heap space